Model Theoretic Semantics For Many-Purpose Languages And Language Hierarchies
نویسندگان
چکیده
Model theoretic semantics (MTS) has a special attitude to describe semantics, to characterize both artificial and natural languages by pure mathematical tools and some of the basic properties of this attitude are disscussed. The arsenal of MTS equipped here with such tools allowing the investigation at such a level of complexity that approximates the real situations. These tools are developed within the frame of category theory.
منابع مشابه
Lexical Semantics and Selection of TAM in Bantu Languages: A Case of Semantic Classification of Kiswahili Verbs
The existing literature on Bantu verbal semantics demonstrated that inherent semantic content of verbs pairs directly with the selection of tense, aspect and modality formatives in Bantu languages like Chasu, Lucazi, Lusamia, and Shiyeyi. Thus, the gist of this paper is the articulation of semantic classification of verbs in Kiswahili based on the selection of TAM types. This is because the sem...
متن کاملIsaLog: A declarative language for complex objects with hierarchies
The IsaLog model and language are presented. The model has complex objects with classes, relations, and isa hierarchies. The language is strongly typed and declarative. The main issue is the de nition of the semantics of the language, given in three di erent ways, shown to be equivalent: a model-theoretic semantics, a reduction to logic programming with function symbols, and a xpoint semantics....
متن کاملUniversit a Degli Studi Isalog (:) : a Deductive Language with Negation for Complex-object Databases with Hierarchies
IsaLog(:) is a research activity aimed at developing a framework that integrates deductive and object-oriented features. The data model has complex objects with classes, relations, and isa hierarchies, and the language is rule based. The main issue is the de nition of the semantics of the language. For the (positive) IsaLog framework three di erent semantics are given and proven to be equivalen...
متن کاملSemantics of Temporal Classes
A model theory of a typed, declarative, temporal object-oriented language system is presented. The declarative nature of the language makes it very different from the dominating procedural, strongly typed object-oriented programming languages. In this declarative system, methods are specified in a high-level, temporal constraint language. Two fundamental properties of these constraints are that...
متن کاملProgramming Languages Capturing Complexity Classes
We investigate an imperative and a functional programming language. The computational power of fragments of these languages induce two hierarchies of complexity classes. Our first main theorem says that these hierarchies match, level by level, a complexity-theoretic alternating space-time hierarchy known from the literature. Our second main theorems says that a slightly different complexity-the...
متن کامل